- проверка правильности программы
- program verification
Русско-английский словарь по вычислительной технике и программированию . 2013.
проверка правильности программы
Look at other dictionaries:
проверка правильности программы — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN program verification … Справочник технического переводчика
Проверка правильности надевания респиратора — (respirator seal check, user seal check) проверка того, правильно ли надет респиратор (у которого лицевая часть плотно прилегает к лицу полнолицевая маска, полумаска, четвертьмаска), и герметичности самой лицевой части. Проверка… … Википедия
Проверка программы — проверка правильности реализации заданного алгоритма путем выполнения программы на вычислительной машине. По английски: Program check out См. также: Отладка программ Финансовый словарь Финам … Финансовый словарь
проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… … Словарь-справочник терминов нормативно-технической документации
ПРОВЕРКА НАПИСАНИЯ — (spelling check) Компьютерная программа, используемая для проверки правильности написания слов в тексте. В нее входит словарь, содержащий правильное написание важных слов. После запуска программы происходит сверка каждого слова в тексте со… … Словарь бизнес-терминов
Отладка программы — Отладка этап разработки компьютерной программы, на котором обнаруживают, локализуют и устраняют ошибки. Чтобы понять, где возникла ошибка, приходится : узнавать текущие значения переменных; выяснять, по какому пути выполнялась… … Википедия
АУДИТОРСКАЯ ПРОВЕРКА — сбор, оценка и анализ аудиторских доказательств, касающихся финансового положения экономического субъекта, подлежащего аудиту, имеющие своим результатом выражение мнения аудитора о правильности ведения бухгалтерского учета и достоверности… … Финансово-кредитный энциклопедический словарь
Циклическая проверка на чётность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC циклический избыточный код) способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… … Википедия
Циклическая проверка на четность — Алгоритм вычисления контрольной суммы (англ. Cyclic redundancy code, CRC циклический избыточный код) способ цифровой идентификации некоторой последовательности данных, который заключается в вычислении контрольного значения её циклического… … Википедия
РД 22-28-36-01: Краны грузоподъемные. Типовые программы и методики испытаний — Терминология РД 22 28 36 01: Краны грузоподъемные. Типовые программы и методики испытаний: 2.1.4. Внеочередное полное техническое освидетельствование (ВТОс) полное техническое освидетельствование, проводимое в случаях, предусмотренных Правилами… … Словарь-справочник терминов нормативно-технической документации
ПРОГРАММИРОВАНИЕ — 1) процесс составления программы, плана действий; 2) дисциплина, изучающая методы и приемы составления программ. С определенной долей условности П. как дисциплина делится на программирование теоретическое, изучающее математич. абстракции программ … Математическая энциклопедия
